Add Bug#.

diff --git a/src/ChangeLog b/src/ChangeLog
index a71a48f3a81c7cb3af8145dfb1f9d63c902ae561..83452143fff853a8779af70a71025412cf718ab5 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,6 +1,6 @@
 2011-07-08  Paul Eggert  <eggert@cs.ucla.edu>
 
-       Fix minor problems found by static checking.
+       Fix minor problems found by static checking (Bug#9031).
        * chartab.c (char_table_set_range, map_sub_char_table)
        (uniprop_table_uncompress): Remove unused locals.
        (uniprop_table): Now static.